Vertically opposite angle proof